可编程模拟器件与技术新进展

简述可编程模拟器件的基本原理、典型应用和开发方法,介绍并比较主要的模拟可编程实现技术与主流器件系列,指出现存的主要问题并展望其未来发展方向.     

煤矿生产、安全调度LED电子大屏幕显示系统的设计

通过比较煤矿生产、安全调度显示方式的优缺点，提出和分析了适合于煤矿生产安全调度的ＬＥＤ电子大屏幕显示系统配置、功能及特点。     

低温高速离心泵的研制与应用

阐述了适合于输送低温介质的高速离心泵的水力设计和结构设计方法，结构上采有长，中，短叶片相间的复合叶轮及双密封结构，理论上采用以效率为目标函数的优化水力设计方法，保证了低温高速离心泵具有很好的工人可靠性和优越的性能指标。     

双波长稳频CO_2激光模糊控制系统的建模与优化

报导一种模糊逻辑控制系统的建模与优化方法。以此方法设计的模糊逻辑控制器，用于双波长稳频ＣＯ２激光器的控制得到令人满意的结果。     

基于重量分析的OBDD变量排序算法

有序的二叉判决图（ＯＢＤＤ）是布尔表达式的一种有效表示方法，但它的体积对变量排序具有较强的依赖性。本文提出一种电路结构图，并在此基础上定义了原始输入重量和节点重量等参数，并建立了用重量分析来指导的ＯＢＤＤ变量排序算法。由于从考虑变量对输出函数的影响出发与从考虑ＯＢＤＤ节点共享性出发对变量排序的要求不同，本文分别设计了两类算法。实验结果表明，本文对大多数标准电路变量排序的效果都优于国际上的同类算法，     

NMOS器件两次沟道注入杂质分布和阈电压计算

分别考虑了深浅两次沟道区注入杂质在氧化扩散过程中对表面浓度的贡献。对两次注入杂质的扩散分别提取了扩散系数的氧化增强系数、氧化衰减系数和有效杂地系数，给出了表面浓度与工艺参数之间的模拟关系式，以峰值浓度为强反型条件计算了开启电压，文章还给出了开启电压、氧化条件、不同注入组合之间的关系式。     

荧光显示管直丝氧化物阴极有效逸出功的计算

阴极的逸出功是表征阴极发射能力的物理量，求定荧光显示管直丝氧化物阴极有效逸出功时，因其零场发射电流密度难于准确取值，温度无法直接测量，显得困难，须予解决，为此提出了一种计算阴极有产逸出功的办法，对某显示管的发射欠佳和“低温高效”的两种氧化物阴极的有效逸出功进行计算，有效逸出功率是靠测量相关物理量再同计算得出，精度不很高，文中所用办法也不例外，但所得结果能反映阴极发射能力，所需仪器少，是实用方法。     

R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance

Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.     

深亚微米MOSFET衬底电流的模拟与分析

利用器件模拟手段对深亚微米ＭＯＳＦＥＴ的衬底电流进行了研究和分析，给出了有效的道长度，栅氧厚度，源漏结深，衬底掺杂浓度以及电源电压对深亚微米ＭＯＳＦＥＴ衬底电流的影响，发现电源电压对深亚微米ＭＯＳＦＥＴ的衬底电流有着强烈的影响，热载流子效应随电源电压的降低而迅速减小，当电源电压降低到一定程度时，热载流子效应不再成为影响深亚微米ＭＯＳ电路可靠性的主要问题。     

一种新型电子显示屏的研制

本文介绍一种不同于磁性翻牌显示屏和ＬＥＤ显示屏的新型电子显示屏，采用非发光体，针对显示屏彩色和动画图象对象素的要求，讨论了显示屏象素的多面色体变换的电路设计及软件实现。